NOTES ON MONADIC n-VALUED LUKASIEWICZ ALGEBRAS

ثبت نشده
چکیده

A topological duality for monadic n-valued Lukasiewicz algebras introduced by M. Abad (Abad, M.: Estructuras cíclica y monádica de un álgebra de Lukasiewicz nvalente. Notas de Lógica Matemática 36. Instituto de Matemática. Universidad Nacional del Sur, 1988) is determined. When restricted to the category of Q-distributive lattices and Q-homomorphims, it coincides with the duality obtained by R. Cignoli in 1991. A new characterization of congruences by means of certain closed and involutive subsets of the associated space is also obtained. This allowed us to describe subdirectly irreducible algebras in this variety, arriving by a different method at the results established by Abad.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Monadic GMV-algebras

Monadic MV –algebras are an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs. GMV -algebras are a non-commutative generalization of MV -algebras and are an algebraic counterpart of the non-commutative Lukasiewicz infinite valued logic. We introduce monadic GMV -algebras and describe their connections to certain ...

متن کامل

n×m−valued Lukasiewicz-Moisil algebras with two modal operators

In 2000, Figallo and Sanza introduced the n×m−valued Lukasiewicz-Moisil algebras, which are a particular case of Matrix Lukasiewicz algebras, and a nontrivial generalization of n−valued Lukasiewicz-Moisil algebras. Here we start a research on the class of n × m−valued Lukasiewicz-Moisil algebras endowed with two modal operators (or 2mLMn×m−algebras). These algebras constitute a common generaliz...

متن کامل

Title Fuzzy Topology and Łukasiewicz Logics from the

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Lukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the al...

متن کامل

Mutually Exclusive Nuances of Truth in Moisil Logic

Moisil logic, having as algebraic counterpart Lukasiewicz-Moisil algebras, provides an alternative way to reason about vague information based on the following principle: a many-valued event is characterized by a family of Boolean events. However, using the original definition of Lukasiewicz-Moisil algebra, the principle does not apply for subalgebras. In this paper we identify an alternative a...

متن کامل

Connections between M V N Algebras and N-valued Lukasiewicz-moisil Algebras -iv 1 ;2

We introduce two chains of unary operations in the MVn algebra of Revaz Grigolia; they will be used in establishing many connections between these algebras and n-valued Lukasiewicz-Moisil algebras (LMn algebras for short). The study has four parts. It is by and large self-contained. The main result of the rst part is that MV4 algebras coincide with LM4 algebras. The larger class of \relaxed"-MV...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004